A component - based debugging approach for detecting structural inconsistencies in declarative equation based models 檢測陳述式基于方程模型結(jié)構(gòu)奇異的基于組件調(diào)試方法
Object - oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies Modelica是一種支持多領(lǐng)域統(tǒng)一建模的陳述式基于方程建模語言。
The proposed method can automatically locate components that cause the structural inconsistencies , and show the user detailed error messages . this information can be a great help in finding and localizing structural inconsistencies , and in some cases pinpoints them immediately 基于modelica語言的陳述式非因果建模優(yōu)點很多,可是也存在一個問題,那就是構(gòu)建模型時常常會不經(jīng)意地遺漏了方程或者多定義了方程,致使仿真模型在結(jié)構(gòu)上奇異,即引起欠約束或過約束問題,從而使得模型無法求解。